Hiding Information via Abstraction (on the Role of Uniform Interpolants in a Development Workspace)
نویسنده
چکیده
In this paper we analyse some fundamental interconnections between modularisation, (uniform) interpolants and information hiding and we explain how some compatible aspects of these concepts are combined in a notation independent method to establish the existence of a conservative extension J:Espec!Edev of a front-end speciication formalism Espec to a back-end formalism Edev so that Edev accommodates sentences that act as uniform interpolants for entailments between Espec-sentences. The tuple hEspec;J : Espec ! Edevi is called a Development Workspace (DW) and aims to support the management of Espec-speciications by associating the basic operations on them with Edev-proof obligations.
منابع مشابه
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset of concept and role names. This makes them useful tools for ontology analysis, ontology evolution and information hiding. Most previous research focused on uniform interpolation of TBoxes. However, especially for applications in privacy and information hiding, it is essential that uniform interpola...
متن کاملUniformity, Interpolation and Module Speciication in a Development Workspace
Interpolation and Schematic Reasoning are shown to underlie critical and somewhat complementary aspects of designing and (syntactically) manipulating speciication modules. In addition, the presence of a Uniform presentation of interpolants facilitates the speciication of modules. Also, the ability to encapsulate and manipulate Uniform Schemata may assist us in reasoning with (abstractions of) h...
متن کاملUniform Interpolation and Forgetting for ALC Ontologies with ABoxes - Long Version
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset of concept and role names. This makes them useful tools for ontology analysis, ontology evolution and information hiding. Most previous research focused on uniform interpolation of TBoxes. However, especially for applications in privacy and information hiding, it is essential that uniform interpola...
متن کاملModularity and Interpolation in a Development Workspace
The potential beneets of a uniform version of interpolation are hindered by its absence from many expressive logics. This motivates a thorough investigation of appropriate expansions of known entailments so that an easy-to-derive, uniform presentation of the interpolants is supported. This paper presents the skeleton of a general construction and indicates that a potentially large class of enta...
متن کاملCount and Forget: Uniform Interpolation of SHQ-Ontologies - Long Version
We propose a method for forgetting concept symbols and non-transitive roles symbols of SHQ-ontologies, or for computing uniform interpolants in SHQ. Uniform interpolants restrict the symbols occuring in an ontology to a specified set, while preserving all logical entailments that can be expressed using this set in the description logic under consideration. Uniform interpolation has applications...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007